<?php
// Display a context-sensitive menu

require_once($_SERVER['DOCUMENT_ROOT'] . "/config.php");

function menu($option = "")
{
	if ($option == "Agents")
	{
		echo "<li class=\"active\"><strong>Agents</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/agents.php\">Agents</a></li>\n";	
	}
	if ($option == "Positions")
	{
		echo "<li class=\"active\"><strong>Positions</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/index.php\">Positions</a></li>\n";	
	}
	if ($option == "Content")
	{
		echo "<li class=\"active\"><strong>Content/Inventory</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/content.php\">Content/Inventory</a></li>\n";	
	}
	if ($option == "Obstacles")
	{
		echo "<li class=\"active\"><strong>Obstacles</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/obstacles.php\">Obstacles</a></li>\n";	
	}
	if ($option == "Commands")
	{
		echo "<li class=\"active\"><strong>Commands (to bot)</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/commands.php\">Commands (to bot)</a></li>\n";	
	}
	if ($option == "Controller-Commands")
	{
		echo "<li class=\"active\"><strong>Commands (to controller)</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/controller-commands.php\">Commands (to controller)</a></li>\n";	
	}
	if ($option == "Engine")
	{
		echo "<li class=\"active\"><strong>Engine</strong></li>\n";
	}
	else
	{
		echo "<li><a href=\"" . ROOT_URL . "/engine/index.php\">Engine</a></li>\n";	
	}
}
?>